Deductive reasoning

Deductive reasoning is the process of drawing valid inferences. An inference is valid if its conclusion follows logically from its premises, meaning that it is impossible for the premises to be true and the conclusion to be false. For example, the inference from the premises "all men are mortal" and "Socrates is a man" to the conclusion "Socrates is mortal" is deductively valid.

Extends: [Deductive reasoning](https://wikipedia.org.ai/Deductive reasoning), Logic, [Problem solving skills](https://wikipedia.org.ai/Problem solving skills), Reasoning